521. The quality challenge
Author: / editors, C. Hawokins, M. Ross, G. Staples
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Computer software industry -- Quality control -- congresses,Computer software - Development - - Quality Control - - Congresses
Classification :
QA
76
.
76
.
Q35I55
1997
522. The quality challenge
Author: / editors, C. Hawokins, M. Ross, G. Staples
Library: Tehran University, technical faculty libraries 1 (Tehran)
Subject: Computer software industry -- Quality control -- congresses,Computer software - Development - - Quality Control - - Congresses
Classification :
QA
76
.
76
.
Q35I55
1997
523. The quality challenge: software quality management 5
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Computer software industry-- Quality control,Congresses ، Computer software-- Development-- Quality control
Classification :
QA
76
.
76
.
Q35
.
I55
1997
524. The unified modeling language, UML 2002 :
Author: Jean-Marc Jézéquel, Heinrich Hussmann, Stephen Cook (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software -- Congresses -- Development.,Logiciels -- Congrès -- Développement.,UML (Computer science) -- Congresses.
525. The unified modeling language : UML'99 : beyond the standard : Second International Workshop, Fort Collins, Co, October 28-30, 1999 : proceedings
Author: Robert France, Bernhard Rumpe )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Development,Congresses ، UML )Computer science(
Classification :
QA
76
.
L28
Vol
.
1723
526. Theoretical aspects of computing -- ICTAC 2018 :
Author: Bernd Fischer, Tarmo Uustalu (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science, Congresses.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer programming / software development.,Computer science.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
Classification :
QA76
.
9
.
L63
527. Theoretical aspects of computing -- ICTAC 2013 :
Author: Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming, Congresses,Computer science-- Mathematics, Congresses
Classification :
QA76
.
9
.
M35
528. Theoretical computer science :
Author: edited by Lian Li, Pinyan Lu, Kun He.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science, Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Image Processing and Computer Vision.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computer science.,Computers-- Computer Graphics.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Image processing.,Mathematical theory of computation.,Mathematics-- Logic.
Classification :
QA75
.
5
529. Theory and Practice of Model Transformations
Author: \ Dimitris Kolovos , Manuel Wimmer (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Model-driven software architecture -- Congresses.,Computer software -- Development -- Congresses.,نرمافزار -- تولید -- کنگره ها
Classification :
QA
76
.
9
.
A73T46
2015
E-Book
,
530. Theory and practice of model transformations
Author: Zhenjiang Hu, Juan de Lara (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Development, Congresses,Model-driven software architecture, Congresses
Classification :
QA76
.
76
.
D47
I26
2012eb
531. Theory and practice of model transformations :
Author: Laurence Tratt, Martin Gogolla (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Development, Congresses.,Model-driven software architecture, Congresses.
532. Theory and practice of model transformations :
Author: Laurence Tratt, Martin Gogolla (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Development, Congresses.,Model-driven software architecture, Congresses.
533. Theory and practice of model transformations
Author: Richard F. Paige (ed.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Development, Congresses,Model-driven software architecture, Congresses
Classification :
QA76
.
76
.
D47
I26
2009
534. Tools and algorithms for the construction and analysis of system
Author: / C.R. Ramakrishnan, Jakob Rehof (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: System design--Congresses,System analysis--Congresses,Computer software--Development--Congresses
Classification :
QA
,
76
.
9
,.
S88
,
T33
,
2008
535. Tools and algorithms for the construction and analysis of systems
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: System design ; Congresses. ; Computer software ; Development ; Congresses. ;
536. Tools and algorithms for the construction and analysis of systems :
Author: Dirk Beyer, Marieke Huisman (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Verification, Congresses.,System analysis, Congresses.,System design, Congresses.,Algorithms & data structures.,Computer programming-- software development.,Computer software-- Verification.,Computers-- Hardware-- Handheld Devices.,Computers-- Information Theory.,Computers-- Programming-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Software Engineering.,System analysis.,System design.,Systems analysis & design.
Classification :
QA76
.
9
.
S88
537. Tools and algorithms for the construction and analysis of systems :
Author: Tiziana Margaria, Bernhard Steffen, (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software -- Development -- Congresses.,Electronic data processing -- Distributed processing -- Congresses.,System design -- Congresses.
538. Tools and algorithms for the construction and analysis of systems : Second International Workshop, TACAS'96, Passau, Germany, March 27-29 : proceedings
Author: Tizina Margaria, Bernhard Steffen )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، System design,Congresses ، Computer software -- Development,Congresses ، Electronic data processing -- Distributed processing
Classification :
QA
76
.
L28
Vol
.
1055
539. Tools and algorithms for the construction and analysis of systems : first international workshop, TACAS 95, Aarhus, Denmark, May 19-20, 1995 : selected papers
Author: E. Brinksma ... )et al.(, eds
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، System design,Congresses ، Computer software -- Development,Congresses ، Electronic data processing -- Distributed processing
Classification :
QA
76
.
L28
V0l
.
1019
540. Tools and algorithms for the construction and analysis of systems : 5th International Conference, TACAS'99, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999 : proceedings
Author: W. Rance Cleaveland )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، System design,Congresses ، Computer software -- Development
Classification :
QA
76
.
L28
Vol
.
1579
